1. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1298

2. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(

رده :
QA
76
.
L28
Vol
.
3438

3. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
306

4. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
F6858
1986

5. Functional and Logic Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها

رده :
QA
76
.
62
.
F8
2016
E-Book
,

6. Functional and constraint logic programming

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

7. Functional and constraint logic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.

رده :
QA76
.
62

8. Functional and constraint logic programming

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses

رده :
QA76
.
62
.
W45
2010

9. Functional and logic programming

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

10. Functional and logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses

رده :
QA
،
76
.
62
،.
F84
،
2010

11. Functional and logic programming

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses

رده :
QA76
.
62
.
F56
2010

12. Functional and logic programming

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses

رده :
QA76
.
62
.
F85
2011eb

13. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
1722

14. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
2441

15. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
2024

16. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
2998

17. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

رده :
QA
76
.
62
.
F84
2001

18. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

19. Implementation and application of functional language

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

رده :
QA76
.
62
.
I58
2010

20. Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming )Computer science(-- Congresses

رده :
QA
76
.
63
.
L6324
1989